digraph graph_42_07
{
	node_42_07_1
	[
		fixedsize = true
		width = 2
	]
}
